/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package semantics.reachability;

import syntax.TIOA;
import semantics.*;

/**
 *
 * @author ennouaary
 */
public interface ReachabilityAnalysis {
    public TIOARuntime analyse(TIOA tioa);
}
